À toute assertion \(A\), on associe sa négation \(\lnot A\), qui est vraie si \(A\) est fausse et fausse si \(A\) est vraie
En programmation, on note \(!\) la négation
Table de vérité de la négation : $$\begin{array}{c|c}\varphi&\lnot\varphi\\ \hline0&{{1}}\\ \hline1&{{0}}\end{array}$$
Table de vérité de la négation en programmation : $$\begin{array}{c|c}a&!a\\ \hline0&{{1}}\\ \hline1&{{0}}\\ \hline {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\end{array}$$